Formal Semantics for Java-like Languages and Research Opportunities
نویسندگان
چکیده
منابع مشابه
A Formal Executable Semantics for Java
Some of the main features of the Java language are that it is object-oriented and multi-threaded. This article presents a formal semantics of a large subset of Java, including inheritance, dynamic linking and multi-threading. To describe the object-oriented features, we use a big-step semantics. The semantics of the concurrency is deened in a small-step semantics, using a structural operational...
متن کاملFormal Semantics for the Java Modeling Language
A common critique of formal methods in software development practise is, that they are not readily understandable and thus not widely used (see for instance [Nam97]). The Java Modeling Language (JML) was created in an attempt to bridge that gap. By building upon the syntax of Java it is meant to be easily accessible to the common user – who might not be skilled in formal modeling. Due to this a...
متن کاملFormal Semantics for the Java Modeling Language
location, 39accessible, 78annotation statement, 86assert, 89assignable, 78assume, 88augmented postcondition, 83augmented precondition, 83axiom, 42 Behavioral Interface Speci cation Lan-guage, 1behavioral subtype, 25\bigint, 12, 48 call stack, 17, 18class, 12Class (type), 12code fragment, 12annotated, 12constraint, see history const...
متن کاملFormal Semantics of Sign Languages
The paper discusses some issues that arise from research on sign languages in the area of formal semantics. Sign languages provide a unique standpoint to investigate semantic phenomena like donkey anaphora, indexical reference shift, and tense. Moreover, they pose a challenge for semantic theories, since movement verbs display gradient properties (semi-continuous variations with semantic import...
متن کاملAbstract Type Constructors for Java-like Languages
Type Constructors for Java-like Languages Philippe Altherr and Vincent Cremet
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista de Informática Teórica e Aplicada
سال: 2018
ISSN: 2175-2745,0103-4308
DOI: 10.22456/2175-2745.80912